A New Model for Intuitionistic Analysis
نویسنده
چکیده
In [13] Moschovakis presents a topological model, over Baire space, for a system of intuitionistic analysis that includes relativized dependent choice, monotone bar induction (verified in [2, pp. 13-14]), Kripke’s schema, and the restriction of Brouwer’s principle for numbers to predicates without free choice-sequence parameters. Following Krol [12], one may describe this model roughly1 as follows. Let 4-0) be the complete Heyting algebra of open subsets of Oo. Choice sequences are given in the model by functions 5 : w x o --, C7( wo), where
منابع مشابه
A Data Envelopment Analysis Model with Triangular Intuitionistic Fuzzy Numbers
DEA (Data Envelopment Analysis) is a technique for evaluating the relative effectiveness of decision-making units (DMU) with multiple inputs and outputs data based on non-parametric modeling using mathematical programming (including linear programming, multi-parameter programming, stochastic programming, etc.). The classical DEA methods are developed to handle the information in the form of cri...
متن کاملEvaluating Construction Projects by a New Group Decision-Making Model Based on Intuitionistic Fuzzy Logic Concepts
Select an appropriate project is a main key for contractors to increase their profits. In practice, in this area the uncertainty and imprecise of the involved parameters is so high. Therefore, considering fuzzy sets theory to deal with uncertainly is more appreciate. The aim of this paper is present a multi-criteria group decision-making model under an intuitionistic fuzzy set environment. Henc...
متن کاملA new approach to rank the decision making units in presence of infeasibility in intuitionistic fuzzy environment
Data envelopment analysis (DEA) is a linear programming based methodology to determine the relative performance efficiencies of homogeneous decision making units (DMUs). In real world applications, some input and output datas do not possess crisp/fuzzy essence but they possess intuitionistic fuzzy (IF) essence. So, in this study, we develop an IF BCC (IFBCC) and an IF super efficiency BCC (IFSE...
متن کاملPower harmonic aggregation operator with trapezoidal intuitionistic fuzzy numbers for solving MAGDM problems
Trapezoidal intuitionistic fuzzy numbers (TrIFNs) express abundant and flexible information in a suitable manner and are very useful to depict the decision information in the procedure of decision making. In this paper, some new aggregation operators, such as, trapezoidal intuitionistic fuzzy weighted power harmonic mean (TrIFWPHM) operator, trapezoidal intuitionistic fuzzy ordered weighted po...
متن کاملTrapezoidal intuitionistic fuzzy prioritized aggregation operators and application to multi-attribute decision making
In some multi-attribute decision making (MADM) problems, various relationships among the decision attributes should be considered. This paper investigates the prioritization relationship of attributes in MADM with trapezoidal intuitionistic fuzzy numbers (TrIFNs). TrIFNs are a special intuitionistic fuzzy set on a real number set and have the better capability to model ill-known quantities. Fir...
متن کاملINTUITIONISTIC FUZZY DIMENSIONAL ANALYSIS FOR MULTI-CRITERIA DECISION MAKING
Dimensional analysis, for multi-criteria decision making, is a mathematical method that includes diverse heterogeneous criteria into a single dimensionless index. Dimensional Analysis, in its current definition, presents the drawback to manipulate fuzzy information commonly presented in a multi-criteria decision making problem. To overcome such limitation, we propose two dimensional analysis ba...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 47 شماره
صفحات -
تاریخ انتشار 1990